From: Richard M. Stallman <rms@gnu.org>
Date: Tue, 1 Jun 1993 22:37:43 +0000 (+0000)
Subject: Don't hassle me about emacs.texi.
X-Git-Tag: archive/raspbian/1%29.2+1-2+rpi1^2~5^2~95638
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/www.github.com/%22bookmarks:///%22http:/www.example.com/cgi/%22https:/www.github.com/%22bookmarks:/?a=commitdiff_plain;h=7b7a9d23d4b434b694d6d7db4b9cabe0d801a641;p=emacs.git

Don't hassle me about emacs.texi.
---

diff --git a/make-dist b/make-dist
index b95156b9aa2..fb54f597589 100755
--- a/make-dist
+++ b/make-dist
@@ -73,7 +73,7 @@ if grep -s "GNU Emacs version ${version}" ./man/emacs.texi > /dev/null; then
   true
 else
   echo "You must update the version number in \`./man/emacs.texi'"
-  exit 1
+  sleep 5
 fi
 
 ### Make sure the subdirectory is available.